Electronic Books

Total Books: 1 - 20 /23
978-3-540-31648-0
Architecting Dependable Systems III

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Continue reading
978-3-540-74035-3
Architecting Dependable Systems IV

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Continue reading
978-3-540-74035-3
Architecting Dependable Systems IV

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Continue reading
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Continue reading
978-3-540-77419-8
Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Continue reading
978-3-540-77419-8
Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Continue reading
978-3-540-32000-5
Computer Safety, Reliability, and Security (vol. # 3688)

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...

Continue reading
978-3-540-68947-8
Dependability Metrics : Advanced Lectures

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

Continue reading
978-3-540-75294-3
Dependable Computing

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

Continue reading
978-3-540-32092-0
Dependable Computing

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

Continue reading
978-3-540-75294-3
Dependable Computing

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

Continue reading
978-3-540-32019-7
Dependable Computing - EDCC 2005

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...

Continue reading
978-3-540-36823-6
Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Continue reading
978-3-540-31794-4
Global Computing

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...

Continue reading
978-3-540-73230-3
Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

Continue reading
978-3-540-48046-4
Reliable Software Technologies - Ada-Europe 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

Continue reading
978-3-540-68624-8
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Continue reading
978-3-540-34664-7
Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Continue reading
978-3-540-31666-4
Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

Continue reading
978-3-540-71156-8
Reliable Systems on Unreliable Networked Platforms

This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...

Continue reading
Total Books: 1 - 20 /23